Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
781	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2009-07-14 10:07:18 Propositional calculus Boolean algebra Substructural logic Philosophical logic Relevance logic Negation Intuitionistic logic Modal logic BL Logic Mathematical logic Non-classical logic
782	ISSN: [removed]ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT) Add to Reading List Source URL: ijeit.com Language: English - Date: 2014-02-17 10:56:09 Logic in computer science Logic Fuzzy logic Non-classical logic Scale Decision making Neuroscience Artificial intelligence Decision theory Science
783	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
784	Relational Markov Models and their Application to Adaptive Web Navigation Corin R. Anderson Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2002-10-08 04:13:20 Probability Statistical models Bayesian statistics Markov processes Markov chain Non-classical logic Bayesian network Probabilistic logic Relational model Statistics Markov models Probability and statistics
785	Microsoft Word - mevita.Jun2010.4page.docx Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2010-09-06 02:56:00 Philosophers of mathematics Non-classical logic Philosophical logic Quantification Model theory Finitary Jaakko Hintikka Infinitary logic John Lane Bell Logic Mathematical logic Mathematics
786	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2009-10-21 13:04:30 Predicate logic Non-classical logic Association for Symbolic Logic Workshop on Logic Language Information and Computation Modal logic Federated Logic Conference Informal logic Mereology Categorical logic Logic Mathematical logic Philosophical logic
787	An Efficient Unification Algorithm ALBERTO MARTELLI Consiglio Nazionale delle Ricerche Add to Reading List Source URL: www.nsl.com Language: English - Date: 2007-07-28 10:31:25 Differential equation Mathematics Mathematical analysis Calculus Four-square cipher Classical cipher Automated theorem proving Logic programming Unification
788	Explicit Logics of Knowledge and Conservativity Melvin Fitting Lehman College, CUNY, 250 Bedford Park Boulevard West, Bronx, NY[removed] Add to Reading List Source URL: isaim2008.unl.edu Language: English - Date: 2010-08-24 11:06:50 Modal logic Fuzzy logic Philosophical logic Non-classical logic Axiom BL Epistemic modal logic S Constructive set theory Logic Mathematical logic Mathematics
789	LOGICAL, SCIENTIFIC AND REAL POSSIBILITY 1. Real vs. abstract possibility Add to Reading List Source URL: www.fphil.uniba.sk Language: English - Date: 2008-12-12 15:34:57 Philosophical logic Possibility Non-classical logic Logical syntax Logical possibility Accessibility relation Possible world Proposition Entailment Logic Mathematical logic Modal logic
790	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics

UPDATE